منابع مشابه
Intercesión en invocaciones de métodos con la reflexión de Java
Software systems require maintenance to modify them, this involves stopping the system’s execution and apply the changes. Reflection allows to get the executing system’s information and let adapt the system without any interruption. The intercession in Java programming language is limited only in writing into fields, therefore it is not possible to modify the program’s behavior. This paper feat...
متن کاملProof-Directed De-compilation of Java Bytecode
We present a proof system for the Java bytecode language based on a Curry-Howard isomorphism for machine code, where an executable code is regarded as a proof of a variant of a sequent calculus of the intuitionistic propositional logic. Diierent from type systems for Java bytecode so far proposed, our proof system not only speciies type consistency but also represents the computation denoted by...
متن کاملPretopoLib : la librairie JAVA de la prétopologie
Pour modéliser les systèmes complexes, nous proposons la théorie de la prétopologie, qui est un outil de modélisation quant au concept de proximité (Belmandt (1993)). Ce puissant outil permet l’analyse et la classification de structures complexes (Le et al. (2008)). Afin de suivre les processus de développement du modèle, il permet des opérations de dilatation, d’alliance, d’adhérence, de ferme...
متن کاملDespliegue de monitores con los mecanismos de reflexión y las extensiones de gestión de Java
Monitoring process let self-adapting systems to watch their current state and therefore making the needed changes. Deploying monitors into a system involves adding the necessary statements into the source code and the possibility to impact the system’s performance during execution, also if monitors use reflection mechanisms. This paper features a scheme to deploy monitors on compiled systems, r...
متن کاملImplementação em Java de um Algoritmo de Árvore de Decisão Acoplado a um SGBD Relacional
Nowadays one of the most researched topics in data mining is its integration with database. The reflexes of these efforts already appear in the major commercial databases, which are supplying integrated solutions of data mining. This work evaluates the coupling of an unusual decision tree algorithm to a relational database management system, and analyzes the performance of the implementation in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Le Globe. Revue genevoise de géographie
سال: 1909
ISSN: 0398-3412
DOI: 10.3406/globe.1909.5076